(note_mouse_highlight): Set the mouse pointer shape to

nontext_cursor if it is on a scroll bar.

diff --git a/src/xdisp.c b/src/xdisp.c
index 334ebb72fcb4190792b3af8f33774ac20f92aca8..32cd0f745f08698301a4707c9158a7bac0d479da 100644 (file)
--- a/src/xdisp.c
+++ b/src/xdisp.c
@@ -20892,7 +20892,8 @@ note_mouse_highlight (f, x, y)
 
   if (part == ON_VERTICAL_BORDER)
     cursor = FRAME_X_OUTPUT (f)->horizontal_drag_cursor;
-  else if (part == ON_LEFT_FRINGE || part == ON_RIGHT_FRINGE)
+  else if (part == ON_LEFT_FRINGE || part == ON_RIGHT_FRINGE
+          || part == ON_SCROLL_BAR)
     cursor = FRAME_X_OUTPUT (f)->nontext_cursor;
   else
     cursor = FRAME_X_OUTPUT (f)->text_cursor;